home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / mosmllib / test / result.macppc < prev    next >
Encoding:
Text File  |  1997-08-18  |  50.7 KB  |  1,607 lines  |  [TEXT/R*ch]
  1.  
  2. jalaMPW:ml:mosml142:mosml.image -stdlib jalaMPW:ml:mosml142:lib: -P default
  3. ? jalaMPW:ml:mosml142:mosml.image -stdlib jalaMPW:ml:mosml142:lib: -P full
  4. Moscow ML version 1.42 (July 1996)
  5. Mangled by e & eMake 24 July 1996
  6. Use the Enter key to evaluate an input expression.
  7. - chDir "jalaMPW:ml:mosml142:src:mosmllib:test:"; use "testmac.sml";
  8. > val it = () : unit
  9. - [opening file "testmac.sml"]
  10. [opening file "array.sml"]
  11. [opening file "auxil.sml"]
  12. > infix 1 seq
  13.   val seq = fn : 'a * 'b -> 'b
  14. > val check = fn : bool -> string
  15. > val check' = fn : (unit -> bool) -> string
  16. > val range = fn : int * int -> (int -> bool) -> bool
  17. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  18. [closing file "auxil.sml"]
  19. > val it = () : unit
  20. > val a = <array> : int Array.array
  21.   val b = <array> : int Array.array
  22.   val c = <array> : int Array.array
  23.   val test1 = "OK" : string
  24.   val test2 = "OK" : string
  25.   val d = <array> : int Array.array
  26.   val test3 = "OK" : string
  27.   val test4a = "OK" : string
  28.   val test4b = "OK" : string
  29.   val test4c = "OK" : string
  30.   val test5a = "OK" : string
  31.   val test5b = "OK" : string
  32.   val test6a = "OK" : string
  33.   val test6b = "OK" : string
  34.   val test6c = "OK" : string
  35.   val e = <array> : int Array.array
  36.   val a2v = fn : 'a Array.array -> 'a vector
  37.   val ev =
  38.     #[1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41,
  39.       51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21,
  40.       31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1,
  41.       11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51,
  42.       61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31,
  43.       41, 51, 61, 1, 11, 441, 551, 661, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21,
  44.       31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1,
  45.       11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51,
  46.       61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31,
  47.       41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11,
  48.       21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, ...]
  49.     : int vector
  50.   val test7 = "OK" : string
  51.   val test8a = "OK" : string
  52.   val test8b = "OK" : string
  53.   val f = #[441, 551, 661] : int vector
  54.   val test9 = "OK" : string
  55.   val test9a = "OK" : string
  56.   val test9b = "OK" : string
  57.   val test9c = "OK" : string
  58.   val test9d = "OK" : string
  59.   val test9e = "OK" : string
  60.   val test9f = "OK" : string
  61.   val test9g = "OK" : string
  62.   val test9h = "OK" : string
  63.   val test9i = "OK" : string
  64.   val test9j = "OK" : string
  65.   val g = <array> : int Array.array
  66.   val test10a = "OK" : string
  67.   val test10b = "OK" : string
  68.   val test10c = "OK" : string
  69.   val test10d = "OK" : string
  70.   val test10e = "OK" : string
  71.   val test10f = "OK" : string
  72.   val test10g = "OK" : string
  73.   val test10h = "OK" : string
  74.   val test10i = "OK" : string
  75.   val test11a = "OK" : string
  76.   val test11b = "OK" : string
  77.   val test11c = "OK" : string
  78.   val test11d = "OK" : string
  79.   val test11e = "OK" : string
  80.   val test11f = "OK" : string
  81.   val test11g = "OK" : string
  82.   val test11h = "OK" : string
  83.   val test11i = "OK" : string
  84.   val test11j = "OK" : string
  85.   val test11k = "OK" : string
  86.   val array0 = <array> : int Array.array
  87.   val test12a = "OK" : string
  88.   val test12b = "OK" : string
  89.   val test12d = "OK" : string
  90.   val test12e = "OK" : string
  91.   val test13a = "OK" : string
  92.   val test13b = "OK" : string
  93.   val test13c = "OK" : string
  94.   val test13d = "OK" : string
  95.   val test13e = "OK" : string
  96.   val test13f = "OK" : string
  97.   val test13g = "OK" : string
  98.   val test13h = "OK" : string
  99.   val test13i = "OK" : string
  100.   val test13j = "OK" : string
  101.   val test13k = "OK" : string
  102.   val test13l = "OK" : string
  103.   val test13m = "OK" : string
  104.   val test13n = "OK" : string
  105.   val test15a = "OK" : string
  106.   val test15b = "OK" : string
  107.   val test15c = "OK" : string
  108.   val test15d = "OK" : string
  109.   val test15e = "OK" : string
  110.   val test15f = "OK" : string
  111.   val test15g = "OK" : string
  112.   val test15h = "OK" : string
  113.   val test16a = "OK" : string
  114.   val test16b = "OK" : string
  115.   val test16c = "OK" : string
  116.   val test16d = "OK" : string
  117.   val test16e = "OK" : string
  118.   val test16f = "OK" : string
  119.   val test16g = "OK" : string
  120. [closing file "array.sml"]
  121. [opening file "array2.sml"]
  122. [opening file "auxil.sml"]
  123. > infix 1 seq
  124.   val seq = fn : 'a * 'b -> 'b
  125. > val check = fn : bool -> string
  126. > val check' = fn : (unit -> bool) -> string
  127. > val range = fn : int * int -> (int -> bool) -> bool
  128. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  129. [closing file "auxil.sml"]
  130. > val it = () : unit
  131. > val a0 = <array2> : int Array2.array2
  132.   val fill = fn : int * int -> int
  133.   val a = <array2> : int Array2.array2
  134.   val test0 = true : bool
  135.   val test1a = "OK" : string
  136.   val test1b = "OK" : string
  137.   val test1c = "OK" : string
  138.   val test1d = "OK" : string
  139.   val test1e = "OK" : string
  140.   val test1f = "OK" : string
  141.   val test2 = "OK" : string
  142.   val test3a = "OK" : string
  143.   val test3b = "OK" : string
  144.   val test3c = "OK" : string
  145.   val test4a = "OK" : string
  146.   val test4b = "OK" : string
  147.   val test4c = "OK" : string
  148.   val test4d = "OK" : string
  149.   val test5a = "OK" : string
  150.   val test5b = "OK" : string
  151.   val test5c = "OK" : string
  152.   val test5d = "OK" : string
  153.   val a1 = <array2> : int Array2.array2
  154.   val testcopy =
  155.     fn
  156.     : {col : int, ht : int option, row : int, wd : int option} -> int -> int ->
  157.       (int Array2.array2 -> bool) -> string
  158.   val same = fn : int Array2.array2 -> bool
  159.   val elts = fn : ''a vector list -> ''a Array2.array2 -> bool
  160.   val test6a = "OK" : string
  161.   val test6b = "OK" : string
  162.   val test6c = "OK" : string
  163.   val test6d = "OK" : string
  164.   val test6e = "OK" : string
  165.   val test6f = "OK" : string
  166.   val test6g = "OK" : string
  167.   val test6h = "OK" : string
  168.   val test6i = "OK" : string
  169.   val test6j = "OK" : string
  170.   val test6k = "OK" : string
  171.   val test6l = "OK" : string
  172.   val test6m = "OK" : string
  173.   val test6n = "OK" : string
  174.   val test6o = "OK" : string
  175.   val failcopy =
  176.     fn
  177.     : {col : int, ht : int option, row : int, wd : int option} -> int -> int ->
  178.       string
  179.   val test7a = "OK" : string
  180.   val test7b = "OK" : string
  181.   val test7c = "OK" : string
  182.   val test7d = "OK" : string
  183.   val test7e = "OK" : string
  184.   val test7f = "OK" : string
  185.   val test7g = "OK" : string
  186.   val test7h = "OK" : string
  187.   val test7i = "OK" : string
  188.   val test7j = "OK" : string
  189.   val test7k = "OK" : string
  190.   val test7l = "OK" : string
  191.   val test7m = "OK" : string
  192.   val test7n = "OK" : string
  193.   val sequence = ref [12, 11, 2, 1] : int list ref
  194.   val collect = fn : int -> unit
  195.   val collecti = fn : int * int * int -> unit
  196.   val a3 = <array2> : int Array2.array2
  197.   val test8a = "OK" : string
  198.   val test8b = "OK" : string
  199.   val test8c = "OK" : string
  200.   val test8d = "OK" : string
  201.   val test8e = "OK" : string
  202.   val test8f = "OK" : string
  203.   val test8g = "OK" : string
  204.   val test8h = "OK" : string
  205.   val test8i = "OK" : string
  206.   val test8j = "OK" : string
  207.   val test8k = "OK" : string
  208.   val test8l = "OK" : string
  209.   val chkmodify = fn : int list -> (int Array2.array2 -> bool) -> string
  210.   val chkmodifyi =
  211.     fn
  212.     : {col : int, ht : int option, row : int, wd : int option} -> int list ->
  213.       (int Array2.array2 -> bool) -> string
  214.   val test9a = "OK" : string
  215.   val test9b = "OK" : string
  216.   val test9c = "OK" : string
  217.   val test9d = "OK" : string
  218.   val test9e = "OK" : string
  219.   val test9f = "OK" : string
  220.   val test9g = "OK" : string
  221.   val test9h = "OK" : string
  222.   val test9i = "OK" : string
  223.   val test9j = "OK" : string
  224.   val test9k = "OK" : string
  225.   val test9l = "OK" : string
  226.   val chkfold = fn : Array2.traversal -> int list -> string
  227.   val chkfoldi =
  228.     fn
  229.     : Array2.traversal ->
  230.       {col : int, ht : int option, row : int, wd : int option} -> int list ->
  231.       string
  232.   val test10a1 = "OK" : string
  233.   val test10a2 = "OK" : string
  234.   val test10b1 = "OK" : string
  235.   val test10b2 = "OK" : string
  236.   val test10c1 = "OK" : string
  237.   val test10c2 = "OK" : string
  238.   val test10d1 = "OK" : string
  239.   val test10d2 = "OK" : string
  240.   val test10e1 = "OK" : string
  241.   val test10e2 = "OK" : string
  242.   val test10f1 = "OK" : string
  243.   val test10f2 = "OK" : string
  244.   val test10g1 = "OK" : string
  245.   val test10g2 = "OK" : string
  246.   val test10h1 = "OK" : string
  247.   val test10h2 = "OK" : string
  248.   val test10i1 = "OK" : string
  249.   val test10i2 = "OK" : string
  250.   val test10j1 = "OK" : string
  251.   val test10j2 = "OK" : string
  252.   val test10k1 = "OK" : string
  253.   val test10k2 = "OK" : string
  254.   val test10l1 = "OK" : string
  255.   val test10l2 = "OK" : string
  256.   val faili =
  257.     fn
  258.     : {col : int, ht : int option, row : int, wd : int option} -> string
  259.   val test11a = "OK" : string
  260.   val test11b = "OK" : string
  261.   val test11c = "OK" : string
  262.   val test11d = "OK" : string
  263.   val test11e = "OK" : string
  264.   val test11f = "OK" : string
  265.   val test11g = "OK" : string
  266.   val test11h = "OK" : string
  267.   val chkfromlist = fn : ''a list list -> string
  268.   val test12a = "OK" : string
  269.   val test12b = "OK" : string
  270.   val test12c = "OK" : string
  271.   val test12d = "OK" : string
  272.   val test12e = "OK" : string
  273.   val test12f = "OK" : string
  274.   val test12g = "OK" : string
  275.   val test12h = "OK" : string
  276.   val test12i = "OK" : string
  277.   val test12j = "OK" : string
  278.   val test12k = "OK" : string
  279.   val test12l = "OK" : string
  280. [closing file "array2.sml"]
  281. [opening file "arraysort.sml"]
  282. > val it = () : unit
  283. > val it = () : unit
  284. > val it = () : unit
  285. > val a = <array> : real Array.array
  286. > val test1 = true : bool
  287. > val test2 = true : bool
  288. [closing file "arraysort.sml"]
  289. [opening file "bytecmac.sml"]
  290. [opening file "auxil.sml"]
  291. > infix 1 seq
  292.   val seq = fn : 'a * 'b -> 'b
  293. > val check = fn : bool -> string
  294. > val check' = fn : (unit -> bool) -> string
  295. > val range = fn : int * int -> (int -> bool) -> bool
  296. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  297. [closing file "auxil.sml"]
  298. > val it = () : unit
  299. > val test1 = "OK" : string
  300.   val test2 = "OK" : string
  301.   val test3 = "OK" : string
  302.   val test4 = "OK" : string
  303.   val test5 = "OK" : string
  304.   val test6 = "OK" : string
  305.   val test7 = "OK" : string
  306.   val test8 = "OK" : string
  307.   val test9 = "OK" : string
  308.   val test10a = "OK" : string
  309.   val test10b = "OK" : string
  310.   val test10c = "OK" : string
  311.   val test10d = "OK" : string
  312.   val test10e = "OK" : string
  313.   val test10f = "OK" : string
  314.   val test10g = "OK" : string
  315.   val test10h = "OK" : string
  316.   val test10i = "OK" : string
  317.   val test10j = "OK" : string
  318.   val test11a = "OK" : string
  319.   val test11b = "OK" : string
  320.   val test11c = "OK" : string
  321.   val test11d = "OK" : string
  322.   val test11e = "OK" : string
  323.   val test11f = "OK" : string
  324.   val test11g = "OK" : string
  325.   val test11h = "OK" : string
  326.   val test11i = "OK" : string
  327.   val test11j = "OK" : string
  328.   val test18 = "OK" : string
  329.   val test19 = "OK" : string
  330.   val test20 = "OK" : string
  331.   val test21 = "OK" : string
  332.   val test22 = "OK" : string
  333.   val test23 = "OK" : string
  334.   val test24 = "OK" : string
  335.   val test25 = "OK" : string
  336.   val test26 = "OK" : string
  337.   val test27 = "OK" : string
  338.   val test28 = "OK" : string
  339.   val test29 = "OK" : string
  340.   val test30 = "OK" : string
  341.   val test31 = "OK" : string
  342.   val test32 = "OK" : string
  343.   val test33 = "OK" : string
  344.   val test34a = "OK" : string
  345.   val test34b = "OK" : string
  346.   val test35a = "OK" : string
  347.   val test35b = "OK" : string
  348.   val test36 = "OK" : string
  349.   val test37 = "OK" : string
  350.   val test38 = "OK" : string
  351.   val test39 = "OK" : string
  352.   val test40 = "OK" : string
  353.   val test41 = "OK" : string
  354.   val test42 = "OK" : string
  355.   val test43 = "OK" : string
  356. [closing file "bytecmac.sml"]
  357. [opening file "date.sml"]
  358. [opening file "auxil.sml"]
  359. > infix 1 seq
  360.   val seq = fn : 'a * 'b -> 'b
  361. > val check = fn : bool -> string
  362. > val check' = fn : (unit -> bool) -> string
  363. > val range = fn : int * int -> (int -> bool) -> bool
  364. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  365. [closing file "auxil.sml"]
  366. > val it = () : unit
  367. This is now:                    Thu Jul 24 17:20:41 1997
  368. This is an hour from now:       Thu Jul 24 18:20:41 1997
  369. This is a day from now:         Fri Jul 25 17:20:41 1997
  370. This is a week from now:        Thu Jul 31 17:20:41 1997
  371. This is 120 days from now:      Fri Nov 21 17:20:41 1997
  372. This is 160 days from now:      Wed Dec 31 17:20:41 1997
  373. This is 200 days from now:      Mon Feb  9 17:20:41 1998
  374. This is 240 days from now:      Sat Mar 21 17:20:41 1998
  375. This is the epoch (UTC):        Thu Jan  1 04:00:00 1970
  376. This is the number of the day:  205
  377. This is today's weekday:        Thursday
  378. This is the name of this month: July
  379. > val test1 = "OK" : string
  380.   val test2 = "OK" : string
  381.   val test3 = "OK" : string
  382.   val test4 = "OK" : string
  383. [closing file "date.sml"]
  384. [opening file "filesmac.sml"]
  385. [opening file "auxil.sml"]
  386. > infix 1 seq
  387.   val seq = fn : 'a * 'b -> 'b
  388. > val check = fn : bool -> string
  389. > val check' = fn : (unit -> bool) -> string
  390. > val range = fn : int * int -> (int -> bool) -> bool
  391. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  392. [closing file "auxil.sml"]
  393. > val it = () : unit
  394. > val test1a = "OK" : string
  395.   val test1b = "OK" : string
  396.   val test2 = "OK" : string
  397.   val test3a = "OK" : string
  398.   val test3b = "OK" : string
  399.   val test3c = "OK" : string
  400.   val test4a = "OK" : string
  401.   val test4b = "OK" : string
  402.   val test4c = "OK" : string
  403.   val test4d = "OK" : string
  404.   val suspend = fn : int -> unit
  405.   val test5 = "OK" : string
  406.   val test6a = "OK" : string
  407.   val test6b = "OK" : string
  408.   val test6c = "OK" : string
  409.   val test6d = "OK" : string
  410.   val test6e = "OK" : string
  411.   val test6f = "OK" : string
  412.   val test6g = "OK" : string
  413.   val test6h = "OK" : string
  414.   val test6i = "OK" : string
  415.   val test6j = "OK" : string
  416.   val test6k = "OK" : string
  417.   val test6l = "OK" : string
  418.   val test7a = "OK" : string
  419.   val test7b = "OK" : string
  420.   val test7c = "OK" : string
  421.   val test7d = "OK" : string
  422.   val test7e = "OK" : string
  423.   val test8a = "OK" : string
  424.   val test8b = "OK" : string
  425.   val test8c = "OK" : string
  426.   val test8d = "OK" : string
  427.   val test8e = "OK" : string
  428.   val test8f = "OK" : string
  429.   val test8g = "OK" : string
  430.   val test8h = "OK" : string
  431.   val test9a = "OK" : string
  432.   val test9b = "OK" : string
  433.   val test10a = "WRONG, because remove removes directories." : string
  434.   val test10b = "OK" : string
  435.   val test10c = "OK" : string
  436.   val test11a = "OK" : string
  437.   val test11b = "OK" : string
  438.   val test11c = "OK" : string
  439.   val test12a = "OK" : string
  440.   val test12b = "OK" : string
  441.   val test12c = "OK" : string
  442.   val test13a = "EXN" : string
  443.   val test13b = "WRONG" : string
  444.   val test13c = "EXN" : string
  445.   val test13d = "OK" : string
  446.   val test13e = "OK" : string
  447.   val test14 = "OK" : string
  448.   val test15a = "OK" : string
  449.   val test15b = "OK" : string
  450.   val test15c = "OK" : string
  451.   val test15d = "OK" : string
  452.   val test15e = "OK" : string
  453. [closing file "filesmac.sml"]
  454. [opening file "generalmac.sml"]
  455. [opening file "auxil.sml"]
  456. > infix 1 seq
  457.   val seq = fn : 'a * 'b -> 'b
  458. > val check = fn : bool -> string
  459. > val check' = fn : (unit -> bool) -> string
  460. > val range = fn : int * int -> (int -> bool) -> bool
  461. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  462. [closing file "auxil.sml"]
  463. > val it = () : unit
  464. > exn NoExceptionRaised = NoExceptionRaised : exn
  465.   val getExn = fn : (unit -> 'a) -> exn
  466.   val prExn = fn : string * exn -> unit
  467. > exn E1 = E1 : exn
  468. > exn E2 = E2 : exn
  469. File "generalmac.sml", line 20, characters 42-46:
  470. !      ("Bind",      getExn(fn _ => let val true = false in () end)),
  471. !                                           ^^^^
  472. ! Warning: pattern matching is not exhaustive
  473.  
  474. File "generalmac.sml", line 21, characters 35-48:
  475. !      ("Match",     getExn(fn _ => (fn true => ()) false)),
  476. !                                    ^^^^^^^^^^^^^
  477. ! Warning: pattern matching is not exhaustive
  478. Should be `E1 or E2':
  479.   E1
  480.   E1
  481. Should be `Bind':
  482.   General.Bind
  483.   General.Bind
  484. Should be `Match':
  485.   General.Match
  486.   General.Match
  487. Should be `Subscript':
  488.   General.Subscript
  489.   General.Subscript
  490. Should be `Size':
  491.   General.Size
  492.   General.Size
  493. Should be `Div':
  494.   General.Div
  495.   General.Div
  496. Should be `Chr':
  497.   General.Chr
  498.   General.Chr
  499. Should be `Fail':
  500.   General.Fail
  501.   General.Fail: demo
  502. Should be `Option':
  503.   Option.Option
  504.   Option.Option
  505. Should be `Empty':
  506.   List.Empty
  507.   List.Empty
  508. Should be `SysErr':
  509.   General.SysErr
  510.   General.SysErr: modTime failed on `exists.not': Range Error
  511. Should be `Io':
  512.   General.Io
  513.   General.Io: openOut failed on `:'; General.SysErr: Unknown Error (-43)
  514.  
  515. [closing file "generalmac.sml"]
  516. [opening file "int.sml"]
  517. [opening file "auxil.sml"]
  518. > infix 1 seq
  519.   val seq = fn : 'a * 'b -> 'b
  520. > val check = fn : bool -> string
  521. > val check' = fn : (unit -> bool) -> string
  522. > val range = fn : int * int -> (int -> bool) -> bool
  523. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  524. [closing file "auxil.sml"]
  525. > val it = () : unit
  526. > val test1a = "OK" : string
  527.   val test1b = "OK" : string
  528.   val test1c = "OK" : string
  529.   val test1d = "OK" : string
  530.   val test2a = "OK" : string
  531.   val test2b = "OK" : string
  532.   val test2c = "OK" : string
  533.   val test2d = "OK" : string
  534.   val test3 = "OK" : string
  535.   val test4 = "OK" : string
  536.   val test5 = "OK" : string
  537.   val test6 = "OK" : string
  538.   val test12 = "OK" : string
  539.   val chk = fn : ('a -> ''b option) -> 'a * ''b -> string
  540.   val chkScan = fn : StringCvt.radix -> (string * int -> string)
  541.   val test13a =
  542.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  543.      "OK", "OK"]
  544.     : string list
  545.   val test13b =
  546.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  547.     : string list
  548.   val test14a =
  549.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  550.      "OK", "OK"]
  551.     : string list
  552.   val test14b =
  553.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  554.     : string list
  555.   val test15a =
  556.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  557.      "OK", "OK"]
  558.     : string list
  559.   val test15b =
  560.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  561.      "OK", "OK"]
  562.     : string list
  563.   val test16a =
  564.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  565.      "OK", "OK"]
  566.     : string list
  567.   val test16b =
  568.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  569.      "OK"]
  570.     : string list
  571.   val test17a =
  572.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  573.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  574.      "OK"]
  575.     : string list
  576.   val test17b =
  577.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  578.     : string list
  579.   val test18 = "OK" : string
  580.   val test19 = "OK" : string
  581.   val test20 = "OK" : string
  582.   val test21 = "OK" : string
  583.   val test22 = "OK" : string
  584. [closing file "int.sml"]
  585. [opening file "list.sml"]
  586. [opening file "auxil.sml"]
  587. > infix 1 seq
  588.   val seq = fn : 'a * 'b -> 'b
  589. > val check = fn : bool -> string
  590. > val check' = fn : (unit -> bool) -> string
  591. > val range = fn : int * int -> (int -> bool) -> bool
  592. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  593. [closing file "auxil.sml"]
  594. > val it = () : unit
  595. > val v123 = [1, 2, 3] : int list
  596.   val even = fn : int -> bool
  597.   val test1 = "OK" : string
  598.   val test2 = "OK" : string
  599.   val test3 = "OK" : string
  600.   val test4 = "OK" : string
  601.   val test5 = "OK" : string
  602.   val test6 = "OK" : string
  603.   val test7 = "OK" : string
  604.   val test8 = "OK" : string
  605.   val test9 = "OK" : string
  606.   val test10 = "OK" : string
  607.   val v16 = [1, 2, 3, 4, 5, 6] : int list
  608.   val test11 = "OK" : string
  609.   val test12 = "OK" : string
  610.   val test13 = "OK" : string
  611.   val reset = fn : unit -> unit
  612.   val incrv = fn : int -> unit
  613.   val checkv = fn : unit -> string
  614.   val test14 = fn : unit -> string
  615.   val test15 = "OK" : string
  616.   val test16 = "OK" : string
  617.   val test17 = "OK" : string
  618.   val test18 = "OK" : string
  619.   val test19 = "OK" : string
  620.   val test20 = "OK" : string
  621.   val test21 = "OK" : string
  622.   val test22 = "OK" : string
  623.   val test23 = "OK" : string
  624.   val test24 = "OK" : string
  625.   val test25 = "OK" : string
  626.   val test26 = "OK" : string
  627.   val test27 = "OK" : string
  628.   val test28 = "OK" : string
  629.   val test29 = "OK" : string
  630.   val test30 = "OK" : string
  631.   val test31 = "OK" : string
  632.   val test32 = "OK" : string
  633.   val test33 = "OK" : string
  634.   val test34 = "OK" : string
  635.   val test35a = "OK" : string
  636.   val test35b = "OK" : string
  637.   val test35c = "OK" : string
  638.   val test36a = "OK" : string
  639.   val test36b = "OK" : string
  640.   val test36c = "OK" : string
  641.   val test37a = "OK" : string
  642. [closing file "list.sml"]
  643. [opening file "listpair.sml"]
  644. [opening file "auxil.sml"]
  645. > infix 1 seq
  646.   val seq = fn : 'a * 'b -> 'b
  647. > val check = fn : bool -> string
  648. > val check' = fn : (unit -> bool) -> string
  649. > val range = fn : int * int -> (int -> bool) -> bool
  650. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  651. [closing file "auxil.sml"]
  652. > val it = () : unit
  653. > val test1 = "OK" : string
  654.   val test2a = "OK" : string
  655.   val test2b = "OK" : string
  656.   val test3a = "OK" : string
  657.   val reset = fn : unit -> unit
  658.   val incrv = fn : int -> unit
  659.   val checkv = fn : unit -> string
  660.   val test3b = "OK" : string
  661.   val test4 = "OK" : string
  662.   val test5a = "OK" : string
  663.   val test5b = "OK" : string
  664.   val test5c = "OK" : string
  665.   val test5d = "OK" : string
  666.   val test5e = "OK" : string
  667.   val test6 = "OK" : string
  668.   val test7 = "OK" : string
  669. [closing file "listpair.sml"]
  670. [opening file "listsort.sml"]
  671. > val it = () : unit
  672. > val it = () : unit
  673. > val it = () : unit
  674. > val test1 = true : bool
  675.   val test2 = true : bool
  676. [closing file "listsort.sml"]
  677. [opening file "math.sml"]
  678. [opening file "auxil.sml"]
  679. > infix 1 seq
  680.   val seq = fn : 'a * 'b -> 'b
  681. > val check = fn : bool -> string
  682. > val check' = fn : (unit -> bool) -> string
  683. > val range = fn : int * int -> (int -> bool) -> bool
  684. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  685. [closing file "auxil.sml"]
  686. > val it = () : unit
  687. > val test0a = "OK" : string
  688.   val test0b = "OK" : string
  689.   val test1a = "OK" : string
  690.   val test1b = "OK" : string
  691.   val test1c = "OK" : string
  692.   val test2a = "OK" : string
  693.   val test2b = "OK" : string
  694.   val test2c = "OK" : string
  695.   val test2d = "OK" : string
  696.   val test3a = "OK" : string
  697.   val test3b = "OK" : string
  698.   val test3c = "OK" : string
  699.   val test3d = "OK" : string
  700.   val test4a = "OK" : string
  701.   val test4b = "OK" : string
  702.   val test4c = "OK" : string
  703.   val test4d = "OK" : string
  704.   val test4e = "OK" : string
  705.   val test4f = "OK" : string
  706.   val test4g = "OK" : string
  707.   val test5a = "OK" : string
  708.   val test5b = "OK" : string
  709.   val test5c = "OK" : string
  710.   val test5d = "OK" : string
  711.   val test5e = "OK" : string
  712.   val test6a = "OK" : string
  713.   val test6b = "OK" : string
  714.   val test6c = "OK" : string
  715.   val test6d = "OK" : string
  716.   val test6e = "OK" : string
  717.   val test7a = "OK" : string
  718.   val test7b = "OK" : string
  719.   val test7c = "OK" : string
  720.   val test7d = "OK" : string
  721.   val test7e = "OK" : string
  722.   val test8a = "OK" : string
  723.   val test8b = "OK" : string
  724.   val test8c = "OK" : string
  725.   val test8d = "OK" : string
  726.   val test8e = "OK" : string
  727.   val test8f = "OK" : string
  728.   val test8g = "OK" : string
  729.   val test8h = "OK" : string
  730.   val test8i = "OK" : string
  731.   val test8j = "OK" : string
  732.   val test8k = "OK" : string
  733.   val test8l = "OK" : string
  734.   val test9a = "OK" : string
  735.   val test9b = "OK" : string
  736.   val test9c = "OK" : string
  737.   val test10a = "OK" : string
  738.   val test10b = "OK" : string
  739.   val test10c = "OK" : string
  740.   val test10d = "OK" : string
  741.   val test10e = "OK" : string
  742.   val test12a = "OK" : string
  743.   val test12b = "OK" : string
  744.   val test12c = "OK" : string
  745.   val test12d = "OK" : string
  746.   val test12e = "OK" : string
  747.   val test12f = "OK" : string
  748.   val test12g = "OK" : string
  749.   val test12h = "OK" : string
  750.   val test12i = "OK" : string
  751.   val test12j = "OK" : string
  752.   val test12k = "OK" : string
  753.   val test12l = "OK" : string
  754.   val test12m = "OK" : string
  755.   val test13a = "OK" : string
  756.   val test13b = "OK" : string
  757.   val test13c = "OK" : string
  758.   val test13d = "OK" : string
  759.   val test13e = "OK" : string
  760.   val check14a = "OK" : string
  761.   val check14b = "OK" : string
  762.   val check14c = "OK" : string
  763.   val check14d = "OK" : string
  764.   val check14e = "OK" : string
  765.   val check15a = "OK" : string
  766.   val check15b = "OK" : string
  767.   val check15c = "OK" : string
  768.   val check15d = "OK" : string
  769.   val check15e = "OK" : string
  770.   val check15f = "OK" : string
  771.   val check15g = "OK" : string
  772. [closing file "math.sml"]
  773. [opening file "real.sml"]
  774. [opening file "auxil.sml"]
  775. > infix 1 seq
  776.   val seq = fn : 'a * 'b -> 'b
  777. > val check = fn : bool -> string
  778. > val check' = fn : (unit -> bool) -> string
  779. > val range = fn : int * int -> (int -> bool) -> bool
  780. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  781. [closing file "auxil.sml"]
  782. > val it = () : unit
  783. > val test1 = "OK" : string
  784.   val test2 = "OK" : string
  785.   val test3 = "OK" : string
  786.   val test4a = "OK" : string
  787.   val test4b = "OK" : string
  788.   val test4c = ["OK", "OK"] : string list
  789.   val test5a = "OK" : string
  790.   val test5b = "OK" : string
  791.   val test5c = ["OK", "OK"] : string list
  792.   val test6a = "OK" : string
  793.   val test6b = "OK" : string
  794.   val test6c = ["OK", "OK"] : string list
  795.   val test7a = "OK" : string
  796.   val test7b = fn : real list -> string
  797.   val test7c = ["OK", "OK"] : string list
  798.   val test8 = "OK" : string
  799.   val chk = fn : string * real -> string
  800.   val test9a =
  801.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  802.     : string list
  803.   val test9b =
  804.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  805.      "OK"]
  806.     : string list
  807.   val test9c =
  808.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  809.     : string list
  810.   val test9d =
  811.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  812.     : string list
  813.   val test9e =
  814.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  815.     : string list
  816.   val test9f =
  817.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  818.     : string list
  819.   val test9g =
  820.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  821.     : string list
  822.   val test9h =
  823.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  824.     : string list
  825.   val test9i =
  826.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  827.     : string list
  828.   val test9j =
  829.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  830.     : string list
  831.   val test10 = ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"] : string list
  832.   val test11a = "OK" : string
  833.   val test11b = "OK" : string
  834.   val chkFIX = fn : real * string * string * string * string -> bool
  835.   val chkFIX' = fn : real * string * string * string * string -> bool
  836.   val test11c = "OK" : string
  837.   val test12a = "OK" : string
  838.   val test12b = "OK" : string
  839.   val chkSCI = fn : real * string * string * string * string -> bool
  840.   val chkSCI' = fn : real * string * string * string * string -> bool
  841.   val test12c = "OK" : string
  842.   val test13a = "OK" : string
  843.   val test13b = "OK" : string
  844.   val chkGEN = fn : real * string * string * string * string -> bool
  845.   val chkGEN' = fn : real * string * string * string * string -> bool
  846.   val test13c = "OK" : string
  847. [closing file "real.sml"]
  848. [opening file "stringmac.sml"]
  849. [opening file "auxil.sml"]
  850. > infix 1 seq
  851.   val seq = fn : 'a * 'b -> 'b
  852. > val check = fn : bool -> string
  853. > val check' = fn : (unit -> bool) -> string
  854. > val range = fn : int * int -> (int -> bool) -> bool
  855. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  856. [closing file "auxil.sml"]
  857. > val it = () : unit
  858. > val test1 = "OK" : string
  859.   val test2 = "OK" : string
  860.   val test3 = "OK" : string
  861.   val test4 = "OK" : string
  862.   val test5 = "OK" : string
  863.   val test6 = "OK" : string
  864.   val test7 = "OK" : string
  865.   val test8 = "OK" : string
  866.   val test9 = "OK" : string
  867.   val test10 = "OK" : string
  868.   val test11a = "OK" : string
  869.   val test11b = "OK" : string
  870.   val test11c = "OK" : string
  871.   val test11d = "OK" : string
  872.   val test11e = "OK" : string
  873.   val test11f = "OK" : string
  874.   val test11g = "OK" : string
  875.   val test11h = "OK" : string
  876.   val test12a = "OK" : string
  877.   val test12b = "OK" : string
  878.   val test12c = "OK" : string
  879.   val test12d = "OK" : string
  880.   val test12e = "OK" : string
  881.   val test12f = "OK" : string
  882.   val test12g = "OK" : string
  883.   val test13a = "OK" : string
  884.   val test13b = "OK" : string
  885.   val test14 = "OK" : string
  886.   val test15 = "OK" : string
  887.   val test16a = "OK" : string
  888.   val test16b = "OK" : string
  889.   val test17 = "OK" : string
  890.   val test18 = "OK" : string
  891.   val test19 = "OK" : string
  892.   val test20 = "OK" : string
  893.   val test21 = "OK" : string
  894.   val test22 = "OK" : string
  895.   val test23 = "OK" : string
  896.   val test24 = "OK" : string
  897.   val test25 = "OK" : string
  898. [closing file "stringmac.sml"]
  899. [opening file "stringcvt.sml"]
  900. [opening file "auxil.sml"]
  901. > infix 1 seq
  902.   val seq = fn : 'a * 'b -> 'b
  903. > val check = fn : bool -> string
  904. > val check' = fn : (unit -> bool) -> string
  905. > val range = fn : int * int -> (int -> bool) -> bool
  906. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  907. [closing file "auxil.sml"]
  908. > val it = () : unit
  909. > val test1 = "OK" : string
  910.   val test2 = "OK" : string
  911.   val test3 = "OK" : string
  912.   val test4 = "OK" : string
  913.   val test5 = "OK" : string
  914.   val test6 = "OK" : string
  915.   val test7 = "OK" : string
  916.   val test8 = "OK" : string
  917.   val test9 = "OK" : string
  918.   val test10 = "OK" : string
  919. [closing file "stringcvt.sml"]
  920. [opening file "substring.sml"]
  921. [opening file "auxil.sml"]
  922. > infix 1 seq
  923.   val seq = fn : 'a * 'b -> 'b
  924. > val check = fn : bool -> string
  925. > val check' = fn : (unit -> bool) -> string
  926. > val range = fn : int * int -> (int -> bool) -> bool
  927. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  928. [closing file "auxil.sml"]
  929. > val it = () : unit
  930. > val test1a = "OK" : string
  931.   val test1b = "OK" : string
  932.   val test1c = "OK" : string
  933.   val test1d = "OK" : string
  934.   val test1e = "OK" : string
  935.   val test1f = "OK" : string
  936.   val test1g = "OK" : string
  937.   val test1h = "OK" : string
  938.   val test2a = "OK" : string
  939.   val test2b = "OK" : string
  940.   val test2c = "OK" : string
  941.   val test3a = "OK" : string
  942.   val test3b = "OK" : string
  943.   val test3c = "OK" : string
  944.   val test4 = "OK" : string
  945.   val test5a = "OK" : string
  946.   val test5b = "OK" : string
  947.   val test6 = "OK" : string
  948.   val test7 = "OK" : string
  949.   val test8a = "OK" : string
  950.   val test8b = "OK" : string
  951.   val test8c = "OK" : string
  952.   val test8d = "OK" : string
  953.   val test8e = "OK" : string
  954.   val test8f = "OK" : string
  955.   val test9a = "OK" : string
  956.   val test9b = "OK" : string
  957.   val test9c = "OK" : string
  958.   val test9d = "OK" : string
  959.   val test9e = "OK" : string
  960.   val test9f = "OK" : string
  961.   val test9g = "OK" : string
  962.   val test9h = "OK" : string
  963.   val test12 = "OK" : string
  964.   val test13 = "OK" : string
  965.   val test14 = "OK" : string
  966.   val finda = fn : char -> bool
  967.   val findb = fn : char -> bool
  968.   val test15 = "OK" : string
  969.   val test16 = "OK" : string
  970.   val test17 = "OK" : string
  971.   val test18 = "OK" : string
  972.   val test19 = "OK" : string
  973.   val test20 = "OK" : string
  974.   val test21 = "OK" : string
  975.   val test22a = "OK" : string
  976.   val test22b = "OK" : string
  977.   val test23 = "OK" : string
  978.   val test24 = "OK" : string
  979.   val test25 = "OK" : string
  980.   val test26a = "OK" : string
  981.   val test26b = "OK" : string
  982.   val test27a = "OK" : string
  983.   val test27b = "OK" : string
  984.   val test28 = "OK" : string
  985.   val test29a = "OK" : string
  986.   val test29b = "OK" : string
  987.   val test29c = "OK" : string
  988.   val test30a = "OK" : string
  989.   val test30b = "OK" : string
  990.   val test30c = "OK" : string
  991.   val test30d = "OK" : string
  992.   val test30e = "OK" : string
  993.   val test30f = "OK" : string
  994.   val test31 = "OK" : string
  995.   val eqspan = fn : substring * substring * substring -> bool
  996.   val test32a = "OK" : string
  997.   val test32c = "OK" : string
  998.   val test32d = "OK" : string
  999.   val test32b = "OK" : string
  1000. [closing file "substring.sml"]
  1001. [opening file "textio.sml"]
  1002. [opening file "auxil.sml"]
  1003. > infix 1 seq
  1004.   val seq = fn : 'a * 'b -> 'b
  1005. > val check = fn : bool -> string
  1006. > val check' = fn : (unit -> bool) -> string
  1007. > val range = fn : int * int -> (int -> bool) -> bool
  1008. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1009. [closing file "auxil.sml"]
  1010. > val it = () : unit
  1011. Two lines of output follow:
  1012. 1234  <--- this should read 1234
  1013. 12345 <--- this should read 12345
  1014. Two lines of output follow:
  1015. abcde <--- this should read abcde
  1016. abcde <--- this should read abcde
  1017. > val empty = <outstream> : TextIO.outstream
  1018.   val small = <outstream> : TextIO.outstream
  1019.   val medium = <outstream> : TextIO.outstream
  1020.   val text = <outstream> : TextIO.outstream
  1021.   val test1 = "OK" : string
  1022.   val test2 = "OK" : string
  1023.   val test3 = "OK" : string
  1024.   val test4 = "OK" : string
  1025.   val test5 = "OK" : string
  1026.   val test6 = "OK" : string
  1027.   val test7a = "OK" : string
  1028.   val test7b = "OK" : string
  1029.   val test7c = "OK" : string
  1030.   val test8a = "OK" : string
  1031.   val test8b = "OK" : string
  1032.   val test8c = "OK" : string
  1033.   val test8d = "OK" : string
  1034.   val test8e = "OK" : string
  1035.   val test8f = "OK" : string
  1036.   val test9a = "OK" : string
  1037.   val test9b = "OK" : string
  1038.   val test9c = "OK" : string
  1039.   val test9d = "OK" : string
  1040.   val test9e = "OK" : string
  1041.   val test10 = "OK" : string
  1042.   val test11 = "OK" : string
  1043.   val test12a = "OK" : string
  1044.   val test12b = "OK" : string
  1045.   val test12c = "OK" : string
  1046.   val test12d = "OK" : string
  1047. [closing file "textio.sml"]
  1048. [opening file "time.sml"]
  1049. [opening file "auxil.sml"]
  1050. > infix 1 seq
  1051.   val seq = fn : 'a * 'b -> 'b
  1052. > val check = fn : bool -> string
  1053. > val check' = fn : (unit -> bool) -> string
  1054. > val range = fn : int * int -> (int -> bool) -> bool
  1055. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1056. [closing file "auxil.sml"]
  1057. > val it = () : unit
  1058. > val test1 = "OK" : string
  1059.   val test2a = "OK" : string
  1060.   val test2b = "OK" : string
  1061.   val test2c = "OK" : string
  1062.   val test2d = "OK" : string
  1063.   val test2e = "OK" : string
  1064.   val test3a = "OK" : string
  1065.   val test3b = "OK" : string
  1066.   val test3c = "OK" : string
  1067.   val test4a = "OK" : string
  1068.   val test6a = "OK" : string
  1069.   val test7a = "OK" : string
  1070.   val test8a = "OK" : string
  1071.   val test9a = "OK" : string
  1072.   val test9b = "OK" : string
  1073.   val chk = fn : string * int -> string
  1074.   val test10a =
  1075.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1076.     : string list
  1077.   val test10b = ["OK", "OK", "OK", "OK", "OK"] : string list
  1078. [closing file "time.sml"]
  1079. [opening file "timer.sml"]
  1080. [opening file "auxil.sml"]
  1081. > infix 1 seq
  1082.   val seq = fn : 'a * 'b -> 'b
  1083. > val check = fn : bool -> string
  1084. > val check' = fn : (unit -> bool) -> string
  1085. > val range = fn : int * int -> (int -> bool) -> bool
  1086. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1087. [closing file "auxil.sml"]
  1088. > val it = () : unit
  1089.  
  1090. Each line below should show roughly the same User, System, and Gc times:
  1091. User: 0.708  System: 0.120  Gc: 0.000  Real: 0.833
  1092. User: 0.708  System: 0.092  Gc: 0.000  Real: 0.800
  1093. User: 0.707  System: 0.073  Gc: 0.000  Real: 0.783
  1094. User: 0.707  System: 0.053  Gc: 0.000  Real: 0.767
  1095. User: 0.708  System: 0.037  Gc: 0.000  Real: 0.750
  1096. User: 0.707  System: 0.021  Gc: 0.000  Real: 0.733
  1097. User: 0.708  System: 0.123  Gc: 0.000  Real: 0.833
  1098. User: 0.708  System: 0.100  Gc: 0.000  Real: 0.817
  1099. > val test1 = "OK" : string
  1100.   val test2 = "OK" : string
  1101.   val test3 = "OK" : string
  1102.   val ctmr = <cpu_timer> : Timer.cpu_timer
  1103.   val test4 = "OK" : string
  1104. [closing file "timer.sml"]
  1105. [opening file "macpath.sml"]
  1106. [opening file "auxil.sml"]
  1107. > infix 1 seq
  1108.   val seq = fn : 'a * 'b -> 'b
  1109. > val check = fn : bool -> string
  1110. > val check' = fn : (unit -> bool) -> string
  1111. > val range = fn : int * int -> (int -> bool) -> bool
  1112. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1113. [closing file "auxil.sml"]
  1114. > val it = () : unit
  1115. > val test1a = "OK" : string
  1116.   val test1b = "OK" : string
  1117.   val test1c = "OK" : string
  1118.   val test1d = "OK" : string
  1119.   val test1e = "OK" : string
  1120.   val test1f = "OK" : string
  1121.   val test1g = "OK" : string
  1122.   val test1h = "OK" : string
  1123.   val test1i = "OK" : string
  1124.   val test1j = "OK" : string
  1125.   val test1k = "OK" : string
  1126.   val test1l = "OK" : string
  1127.   val test1m = "OK" : string
  1128.   val test1n = "OK" : string
  1129.   val test2a = "OK" : string
  1130.   val test2b = "OK" : string
  1131.   val test2b' = "OK" : string
  1132.   val test2c = "OK" : string
  1133.   val test2d = "OK" : string
  1134.   val test2e = "OK" : string
  1135.   val test2f = "OK" : string
  1136.   val test2g = "OK" : string
  1137.   val test2h = "OK" : string
  1138.   val test2i = "OK" : string
  1139.   val test2j = "OK" : string
  1140.   val test2k = "OK" : string
  1141.   val test2l = "OK" : string
  1142.   val test2m = "OK" : string
  1143.   val test2n = "OK" : string
  1144.   val test2o = "OK" : string
  1145.   val test2p = "OK" : string
  1146.   val test3b = "OK" : string
  1147.   val test3c = "OK" : string
  1148.   val test3d = "OK" : string
  1149.   val test3e = "OK" : string
  1150.   val test3f = "OK" : string
  1151.   val test3g = "OK" : string
  1152.   val test3h = "OK" : string
  1153.   val test4a = "OK" : string
  1154.   val test4b = "OK" : string
  1155.   val test5a = "OK" : string
  1156.   val test6a = "OK" : string
  1157.   val test6b = "OK" : string
  1158.   val test7a = "OK" : string
  1159.   val test7b = "OK" : string
  1160.   val test7c = "OK" : string
  1161.   val test8a = "OK" : string
  1162.   val test8b = "OK" : string
  1163.   val test8c = "OK" : string
  1164.   val test9a = "OK" : string
  1165.   val test9b = "OK" : string
  1166.   val test10a = "OK" : string
  1167.   val test10b = "OK" : string
  1168.   val test10c = "OK" : string
  1169.   val test11a = "OK" : string
  1170.   val test11b = "DIFFERENT" : string
  1171.   val test12 = "OK" : string
  1172.   val test13 = "OK" : string
  1173.   val test14 = "OK" : string
  1174.   val test15 = "OK" : string
  1175.   val test16 = "OK" : string
  1176.   val test17 = "OK" : string
  1177.   val test18 = "OK" : string
  1178.   val test19 = "OK" : string
  1179. [closing file "macpath.sml"]
  1180. [opening file "vector.sml"]
  1181. [opening file "auxil.sml"]
  1182. > infix 1 seq
  1183.   val seq = fn : 'a * 'b -> 'b
  1184. > val check = fn : bool -> string
  1185. > val check' = fn : (unit -> bool) -> string
  1186. > val range = fn : int * int -> (int -> bool) -> bool
  1187. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1188. [closing file "auxil.sml"]
  1189. > val it = () : unit
  1190. > val a = #[0, 1, 2, 3, 4, 5, 6] : int vector
  1191.   val b = #[44, 55, 66] : int vector
  1192.   val c = #[0, 1, 2, 3, 4, 5, 6] : int vector
  1193.   val test1 = "OK" : string
  1194.   val test2 = "OK" : string
  1195.   val d =
  1196.     #[0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2,
  1197.       3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5,
  1198.       6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1,
  1199.       2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4,
  1200.       5, 6, 0, 1]
  1201.     : int vector
  1202.   val test3 = "OK" : string
  1203.   val test4a = "OK" : string
  1204.   val test4b = "OK" : string
  1205.   val test4c = "OK" : string
  1206.   val test5 = "OK" : string
  1207.   val test6a = "OK" : string
  1208.   val test6b = "OK" : string
  1209.   val test6c = "OK" : string
  1210.   val e =
  1211.     #[0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2,
  1212.       3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5,
  1213.       6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1,
  1214.       2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4,
  1215.       5, 6, 0, 1, 44, 55, 66, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1,
  1216.       2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4,
  1217.       5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0,
  1218.       1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3,
  1219.       4, 5, 6, 0, 1, 2, 3, 4, 5, ...]
  1220.     : int vector
  1221.   val test7 = "OK" : string
  1222.   val test8 = "OK" : string
  1223.   val f = #[44, 55, 66] : int vector
  1224.   val test9 = "OK" : string
  1225.   val test9a = "OK" : string
  1226.   val test9b = "OK" : string
  1227.   val test9c = "OK" : string
  1228.   val test9d = "OK" : string
  1229.   val test9e = "OK" : string
  1230.   val test9f = "OK" : string
  1231.   val test9g = "OK" : string
  1232.   val test9h = "OK" : string
  1233.   val test9i = "OK" : string
  1234.   val chkiter =
  1235.     fn
  1236.     : ((int -> 'a) -> ('b -> ''c)) -> (int -> 'a) -> 'b -> ''c * int -> string
  1237.   val chkiteri =
  1238.     fn
  1239.     : ((int * 'a -> 'b) -> ('c -> ''d)) -> ('a -> 'b) -> 'c -> ''d * int ->
  1240.       string
  1241.   val test10a = "OK" : string
  1242.   val test11a = "OK" : string
  1243.   val test11b = "OK" : string
  1244.   val test11c = "OK" : string
  1245.   val test11d = "OK" : string
  1246.   val test11e = "OK" : string
  1247.   val test11f = "OK" : string
  1248.   val test11g = "OK" : string
  1249.   val test11h = "OK" : string
  1250.   val test11i = "OK" : string
  1251. [closing file "vector.sml"]
  1252. [opening file "word.sml"]
  1253. [opening file "auxil.sml"]
  1254. > infix 1 seq
  1255.   val seq = fn : 'a * 'b -> 'b
  1256. > val check = fn : bool -> string
  1257. > val check' = fn : (unit -> bool) -> string
  1258. > val range = fn : int * int -> (int -> bool) -> bool
  1259. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1260. [closing file "auxil.sml"]
  1261. > val it = () : unit
  1262. > val test1 = "OK" : string
  1263.   val test3 = "OK" : string
  1264.   val test5a = "OK" : string
  1265.   val test5b = "OK" : string
  1266.   val test6a = "OK" : string
  1267.   val test6b = "OK" : string
  1268.   val test7a = "OK" : string
  1269.   val test7b = "OK" : string
  1270.   val test8a = "OK" : string
  1271.   val test8b = "OK" : string
  1272.   val maxposint = 1073741823 : int
  1273.   val maxnegint = ~1073741824 : int
  1274.   val pwr2 = fn : int -> int
  1275.   val rwp = fn : int -> int -> int
  1276.   val test9a = "OK" : string
  1277.   val test9b = "OK" : string
  1278.   val test9c = "OK" : string
  1279.   val test9d = "OK" : string
  1280.   val test9e = "OK" : string
  1281.   val test9f = "OK" : string
  1282.   val test9g = "OK" : string
  1283.   val test9h = "OK" : string
  1284.   val test10a = "OK" : string
  1285.   val test10b = "OK" : string
  1286.   val test10c = "OK" : string
  1287.   val test10d = "OK" : string
  1288.   val test11a = "OK" : string
  1289.   val test11b = "OK" : string
  1290.   val test11c = "OK" : string
  1291.   val test11d = "OK" : string
  1292.   val test11e = "OK" : string
  1293.   val test11f = "OK" : string
  1294.   val test11g = "OK" : string
  1295.   val test11h = "OK" : string
  1296.   val test11i = "OK" : string
  1297.   val test12a = "OK" : string
  1298.   val test12b = "OK" : string
  1299.   val test12c = "OK" : string
  1300.   val test12d = "OK" : string
  1301.   val test12e = "OK" : string
  1302.   val test12f = "OK" : string
  1303.   val test12g = "OK" : string
  1304.   val test12h = "OK" : string
  1305.   val test12i = "OK" : string
  1306.   val test12j = "OK" : string
  1307.   val test12k = "OK" : string
  1308.   val test12l = "OK" : string
  1309.   val test12m = "OK" : string
  1310.   val test12n = "OK" : string
  1311.   val test12o = "OK" : string
  1312.   val test12p = "OK" : string
  1313.   val test12q = "OK" : string
  1314.   val test12r = "OK" : string
  1315.   val test12s = "OK" : string
  1316.   val chk = fn : ('a -> word option) -> 'a * int -> string
  1317.   val chkScan = fn : StringCvt.radix -> (string * int -> string)
  1318.   val test13a =
  1319.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1320.      "OK", "OK"]
  1321.     : string list
  1322.   val test13b =
  1323.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1324.     : string list
  1325.   val test14a =
  1326.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1327.      "OK", "OK"]
  1328.     : string list
  1329.   val test14b =
  1330.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1331.     : string list
  1332.   val test15a =
  1333.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1334.      "OK", "OK"]
  1335.     : string list
  1336.   val test15b =
  1337.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1338.      "OK", "OK"]
  1339.     : string list
  1340.   val test16a =
  1341.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1342.      "OK", "OK"]
  1343.     : string list
  1344.   val test16b =
  1345.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1346.      "OK"]
  1347.     : string list
  1348.   val test17a =
  1349.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1350.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1351.     : string list
  1352.   val test17b =
  1353.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1354.     : string list
  1355.   val test18 = "OK" : string
  1356.   val test19 = "OK" : string
  1357.   val test20 = "OK" : string
  1358.   val test21 = "OK" : string
  1359.   val test22 = "OK" : string
  1360. [closing file "word.sml"]
  1361. [opening file "word8.sml"]
  1362. [opening file "auxil.sml"]
  1363. > infix 1 seq
  1364.   val seq = fn : 'a * 'b -> 'b
  1365. > val check = fn : bool -> string
  1366. > val check' = fn : (unit -> bool) -> string
  1367. > val range = fn : int * int -> (int -> bool) -> bool
  1368. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1369. [closing file "auxil.sml"]
  1370. > val it = () : unit
  1371. > val test1 = "OK" : string
  1372.   val test2 = "OK" : string
  1373.   val test3 = "OK" : string
  1374.   val test4 = "OK" : string
  1375.   val test5a = "OK" : string
  1376.   val test5b = "OK" : string
  1377.   val test5c = "OK" : string
  1378.   val test6a = "OK" : string
  1379.   val test6b = "OK" : string
  1380.   val test6c = "OK" : string
  1381.   val test7a = "OK" : string
  1382.   val test7b = "OK" : string
  1383.   val test7c = "OK" : string
  1384.   val test8a = "OK" : string
  1385.   val test8b = "OK" : string
  1386.   val test8c = "OK" : string
  1387.   val test9a = "OK" : string
  1388.   val test9b = "OK" : string
  1389.   val test9c = "OK" : string
  1390.   val test9d = "OK" : string
  1391.   val test9e = "OK" : string
  1392.   val test9f = "OK" : string
  1393.   val test9g = "OK" : string
  1394.   val test9h = "OK" : string
  1395.   val test9i = "OK" : string
  1396.   val test10a = "OK" : string
  1397.   val test10b = "OK" : string
  1398.   val test10c = "OK" : string
  1399.   val test10d = "OK" : string
  1400.   val test10e = "OK" : string
  1401.   val test11a = "OK" : string
  1402.   val test11b = "OK" : string
  1403.   val test11c = "OK" : string
  1404.   val test11d = "OK" : string
  1405.   val test11e = "OK" : string
  1406.   val test11f = "OK" : string
  1407.   val test12a = "OK" : string
  1408.   val test12b = "OK" : string
  1409.   val test12c = "OK" : string
  1410.   val test12d = "OK" : string
  1411.   val test12e = "OK" : string
  1412.   val test12f = "OK" : string
  1413.   val test12g = "OK" : string
  1414.   val test12h = "OK" : string
  1415.   val test12i = "OK" : string
  1416.   val test12j = "OK" : string
  1417.   val test12k = "OK" : string
  1418.   val test12l = "OK" : string
  1419.   val test12m = "OK" : string
  1420.   val test12n = "OK" : string
  1421.   val test12o = "OK" : string
  1422.   val test12p = "OK" : string
  1423.   val test12q = "OK" : string
  1424.   val chk = fn : ('a -> Word8.word option) -> 'a * int -> string
  1425.   val chkScan = fn : StringCvt.radix -> (string * int -> string)
  1426.   val test13a =
  1427.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1428.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1429.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1430.     : string list
  1431.   val test13b =
  1432.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1433.     : string list
  1434.   val test13c = "OK" : string
  1435.   val test13d = "OK" : string
  1436.   val test14a =
  1437.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1438.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1439.     : string list
  1440.   val test14b =
  1441.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1442.     : string list
  1443.   val test14c = "OK" : string
  1444.   val test14d = "OK" : string
  1445.   val test15a =
  1446.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1447.      "OK", "OK", "OK"]
  1448.     : string list
  1449.   val test15b =
  1450.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1451.      "OK", "OK"]
  1452.     : string list
  1453.   val test15c = "OK" : string
  1454.   val test15d = "OK" : string
  1455.   val test16a =
  1456.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1457.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1458.     : string list
  1459.   val test16b =
  1460.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1461.      "OK"]
  1462.     : string list
  1463.   val test16c = "OK" : string
  1464.   val test16d = "OK" : string
  1465.   val test17a =
  1466.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1467.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1468.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1469.     : string list
  1470.   val test17b =
  1471.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1472.     : string list
  1473.   val test17c = "OK" : string
  1474.   val test17d = "OK" : string
  1475.   val test18 = "OK" : string
  1476.   val test19 = "OK" : string
  1477.   val test20 = "OK" : string
  1478.   val test21 = "OK" : string
  1479.   val test22 = "OK" : string
  1480. [closing file "word8.sml"]
  1481. [opening file "word8array.sml"]
  1482. [opening file "auxil.sml"]
  1483. > infix 1 seq
  1484.   val seq = fn : 'a * 'b -> 'b
  1485. > val check = fn : bool -> string
  1486. > val check' = fn : (unit -> bool) -> string
  1487. > val range = fn : int * int -> (int -> bool) -> bool
  1488. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1489. [closing file "auxil.sml"]
  1490. > val it = () : unit
  1491. > val i2w = fn : int -> Word8.word
  1492.   val w127 = 0wx7F : Word8.word
  1493.   val a = <array> : Word8Array.array
  1494.   val b = <array> : Word8Array.array
  1495.   val c = <array> : Word8Array.array
  1496.   val test1 = "OK" : string
  1497.   val test2 = "OK" : string
  1498.   val d = <array> : Word8Array.array
  1499.   val test3 = "OK" : string
  1500.   val test4a = "OK" : string
  1501.   val test4b = "OK" : string
  1502.   val test4c = "OK" : string
  1503.   val test5a = "OK" : string
  1504.   val test5b = "OK" : string
  1505.   val test6a = "OK" : string
  1506.   val test6b = "OK" : string
  1507.   val test6c = "OK" : string
  1508.   val e = <array> : Word8Array.array
  1509.   val a2v = fn : Word8Array.array -> Word8Vector.vector
  1510.   val ev = <vector> : Word8Vector.vector
  1511.   val test7 = "OK" : string
  1512.   val test8a = "OK" : string
  1513.   val test8b = "OK" : string
  1514.   val f = <vector> : Word8Vector.vector
  1515.   val test9 = "OK" : string
  1516.   val test9a = "OK" : string
  1517.   val test9b = "OK" : string
  1518.   val test9c = "OK" : string
  1519.   val test9d = "OK" : string
  1520.   val test9e = "OK" : string
  1521.   val test9f = "OK" : string
  1522.   val test9g = "OK" : string
  1523.   val test9h = "OK" : string
  1524.   val test9i = "OK" : string
  1525.   val g = <array> : Word8Array.array
  1526.   val test10a = "OK" : string
  1527.   val test10b = "OK" : string
  1528.   val test10c = "OK" : string
  1529.   val test10d = "OK" : string
  1530.   val test10e = "OK" : string
  1531.   val test10f = "OK" : string
  1532.   val test10g = "OK" : string
  1533.   val test10h = "OK" : string
  1534.   val test10i = "OK" : string
  1535.   val test11a = "OK" : string
  1536.   val test11b = "OK" : string
  1537.   val test11c = "OK" : string
  1538.   val test11d = "OK" : string
  1539.   val test11e = "OK" : string
  1540.   val test11f = "OK" : string
  1541.   val test11g = "OK" : string
  1542.   val test11h = "OK" : string
  1543.   val test11i = "OK" : string
  1544.   val test11j = "OK" : string
  1545.   val test11k = "OK" : string
  1546. [closing file "word8array.sml"]
  1547. [opening file "word8vector.sml"]
  1548. [opening file "auxil.sml"]
  1549. > infix 1 seq
  1550.   val seq = fn : 'a * 'b -> 'b
  1551. > val check = fn : bool -> string
  1552. > val check' = fn : (unit -> bool) -> string
  1553. > val range = fn : int * int -> (int -> bool) -> bool
  1554. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1555. [closing file "auxil.sml"]
  1556. > val it = () : unit
  1557. > val a = <vector> : Word8Vector.vector
  1558.   val b = <vector> : Word8Vector.vector
  1559.   val c = <vector> : Word8Vector.vector
  1560.   val test1 = "OK" : string
  1561.   val test2 = "OK" : string
  1562.   val d = <vector> : Word8Vector.vector
  1563.   val test3 = "OK" : string
  1564.   val test4a = "OK" : string
  1565.   val test4b = "OK" : string
  1566.   val test4c = "OK" : string
  1567.   val test5 = "OK" : string
  1568.   val test6a = "OK" : string
  1569.   val test6b = "OK" : string
  1570.   val test6c = "OK" : string
  1571.   val e = <vector> : Word8Vector.vector
  1572.   val test7 = "OK" : string
  1573.   val test8 = "OK" : string
  1574.   val f = <vector> : Word8Vector.vector
  1575.   val test9 = "OK" : string
  1576.   val test9a = "OK" : string
  1577.   val test9b = "OK" : string
  1578.   val test9c = "OK" : string
  1579.   val test9d = "OK" : string
  1580.   val test9e = "OK" : string
  1581.   val test9f = "OK" : string
  1582.   val test9g = "OK" : string
  1583.   val test9h = "OK" : string
  1584.   val test9i = "OK" : string
  1585.   val chkiter =
  1586.     fn
  1587.     : ((Word8.word -> 'a) -> ('b -> ''c)) -> (Word8.word -> 'a) -> 'b ->
  1588.       ''c * Word8.word -> string
  1589.   val chkiteri =
  1590.     fn
  1591.     : ((int * 'a -> 'b) -> ('c -> ''d)) -> ('a -> 'b) -> 'c -> ''d * int ->
  1592.       string
  1593.   val test10a = "OK" : string
  1594.   val test11a = "OK" : string
  1595.   val test11b = "OK" : string
  1596.   val test11c = "OK" : string
  1597.   val test11d = "OK" : string
  1598.   val test11e = "OK" : string
  1599.   val test11f = "OK" : string
  1600.   val test11g = "OK" : string
  1601.   val test11h = "OK" : string
  1602.   val test11i = "OK" : string
  1603. [closing file "word8vector.sml"]
  1604. > val it = () : unit
  1605. [closing file "testmac.sml"]
  1606. > val it = () : unit
  1607. -